TSTP Solution File: SEV380^5 by SRASS---0.1